W. R. Cleaveland: przeszukaj witrynę Z-Library

Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (16)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Springer-Verlag Berlin Heidelberg

Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 8.60 MB

0 / 0

english, 2007

2

An Introduction to Data Types

An Introduction to Data Types

J. Craig Cleaveland

Rok:

1986

Język:

english

Plik:

PDF, 12.66 MB

0 / 5.0

english, 1986

3

Grammars for programming languages

Grammars for programming languages

J. Craig Cleaveland

Rok:

1977

Język:

english

Plik:

DJVU, 1.16 MB

0 / 0

english, 1977

4

Grammars for Programming Languages

Grammars for Programming Languages

J. Craig Cleaveland, Robert C. Uzgalis

Rok:

1977

Język:

english

Plik:

DJVU, 2.31 MB

0 / 0

english, 1977

5

Alien In a Small Town

Alien In a Small Town

BobAdventures Prod.

Rok:

2015

Język:

english

Plik:

EPUB, 480 KB

0 / 5.0

english, 2015

6

CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings

CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), W.R. Cleaveland (eds.)

Rok:

1992

Język:

english

Plik:

DJVU, 5.57 MB

0 / 0

english, 1992

7

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 6.93 MB

0 / 0

english, 2010

8

No Sect in Heaven

No Sect in Heaven

Elizabeth H. Jocelyn Cleaveland

Rok:

2021

Język:

english

Plik:

EPUB, 442 KB

0 / 0

english, 2021

9

From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Springer International Publishing

Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky

Rok:

2019

Język:

english

Plik:

PDF, 27.67 MB

0 / 5.0

english, 2019

10

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Olaf Müller, Tobias Nipkow (auth.), E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen (eds.)

Rok:

1995

Język:

english

Plik:

DJVU, 2.30 MB

0 / 0

english, 1995

11

Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Jeff Kramer, Jeff Magee (auth.), W. Rance Cleaveland (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 3.34 MB

0 / 0

english, 1999

12

CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings

CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Rance Cleaveland (auth.), Jos C. M. Baeten, Sjouke Mauw (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 5.31 MB

0 / 0

english, 1999

13

Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Jeff Kramer, Jeff Magee (auth.), W. Rance Cleaveland (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 5.84 MB

0 / 0

english, 1999

14

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 6.78 MB

0 / 0

english, 2010

15

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 6.98 MB

0 / 0

english, 2010

16

CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings

CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Rance Cleaveland (auth.), Jos C. M. Baeten, Sjouke Mauw (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 6.97 MB

0 / 0

english, 1999